GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>General Problem Solver</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">General Problem Solver</span></h1>

</header>

</div>

<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p>Der <b>General Problem Solver</b> (<b>GPS</b>) ist eine von <a href="Herbert_A._Simon" title="Herbert A. Simon">Herbert A. Simon</a> und <a href="Allen_Newell" title="Allen Newell">Allen Newell</a> ab 1957 entwickelte Software zur Realisierung einer allgemeinen Problemlösungsmethode im Rahmen der damals beginnenden <a href="Forschung" title="Forschung">Forschung</a> zur <a href="K%C3%BCnstliche_Intelligenz" title="Künstliche Intelligenz">Künstlichen Intelligenz</a>. Die Software wurde von Simon und Newell in dem Artikel <i>GPS, a Program That Simulates Human Thought</i> beschrieben. In diesem Versuch, der schließlich als gescheitert angesehen wurde, flossen sowohl <a href="Kognitionswissenschaft" title="Kognitionswissenschaft">kognitionswissenschaftliche</a> Aspekte als auch Methoden zur mathematischen Formalisierung von <a href="Problem" title="Problem">Problemen</a> und <a href="Probleml%C3%B6sen" title="Problemlösen">Problemlösen</a>. Die Software und das entwickelte theoretische Rahmenwerk hatte maßgeblichen Einfluss auf die Entwicklung der <a href="Kognitionspsychologie" title="Kognitionspsychologie">kognitiven Psychologie</a> sowie der Künstlichen Intelligenz. Das Scheitern des allgemeinen Problemlösungsansatzes führte schließlich zur Entwicklung von <a href="Expertensystem" title="Expertensystem">Expertensystemen</a>, die auf einem engeren Wissensgebiet zu besseren Ergebnissen gelangen sollten.

</p>

<div class="mw-heading mw-heading2"><h2 id="Arbeitsweise">Arbeitsweise</h2></div>

<p>Der GPS basierte auf dem Prinzip der <i>Problemreduktion</i>. Dabei wird ein Problem so in Teilprobleme zerlegt, dass es gelöst werden kann, indem man die gewonnenen einzelnen Teilprobleme löst. Diese Methode steht der sogenannten <i>Problemtransformation</i> gegenüber, bei der ein Problem in ein anderes Problem transformiert wird, dessen Lösung man schon kennt oder leichter finden kann. Aufgrund der Anwendung von Problemreduktion lässt sich der GPS der Gruppe der zustandsbasierten Problemlöser zuordnen: Ein Problem wird dabei durch einen Raum möglicher Zustände formalisiert, zwischen denen mittels Operationen Übergänge herbeigeführt werden. Der Einsatz der Operationen zielte im Falle von GPS eben auf Problemreduktion.

</p><p>Eine Reihe von Autoren hat später dargelegt, dass dieser Ansatz keineswegs so <i>allgemein</i> war, wie man in der ersten Euphorie und aufgrund des anmaßenden Namens geglaubt hatte. So kommentierte etwa McDermott in einem berühmt gewordenen Artikel <i>Artificial Intelligence Meets Natural Stupidity?</i> nicht ohne Spott, dass das Programm wohl anstelle von GPS besser LFGNS (Local Feature Guided Network Searcher) hätte heißen sollen. Tatsächlich konnte GPS nur auf wohldefinierte Probleme wie etwa das Beweisen simpler Theoreme aus Logik und Geometrie, Wortpuzzle oder Schach angewandt werden.

</p>

<div class="mw-heading mw-heading2"><h2 id="Beispiel">Beispiel</h2></div>

<p>Simon und Newell geben ein Beispiel für die Lösung des logischen Problems der Transformation von L1= R*(-P ⇒ Q) in L2=(Q \/ P)*R (Newell & Simon, 1972, Seite 420). Dieses Beispiel gibt einen Einblick in die Arbeitsweise des GPS:

</p>

<ul><li>Goal 1: Transform L1 into L0</li>

<li>Goal 2: Reduce difference between L1 and L0</li>

<li>Goal 3: Apply R1 to L1</li>

<li>Goal 4: Transform L1 into condition (R1)</li>

<li>Produce L2: (-P ⇒ Q) *R</li>

<li>Goal 5: Transform L2 into L0</li>

<li>Goal 6: Reduce difference between left(L2) and left(L0)</li>

<li>Goal 7: Apply R5 to left(L2)</li>

<li>Goal 8: Transform left(L2) into condition(R5)</li>

<li>Goal 9: Reduce difference between left(L2) and condition(R5)</li>

<li>Rejected: No easier than Goal 6</li>

<li>Goal 10: Apply R6 to left(L2)</li>

<li>Goal 11: Transform left(L2) into condition(R5)</li>

<li>Produce L3: (P \/ Q) *R</li>

<li>Goal 12: Transform L3 into L0</li>

<li>Goal 13: Reduce difference between left(L3) and left(L0)</li>

<li>Goal 14: Apply R1 to left(L3)</li>

<li>Goal 15: Transform left(L3) into condition(R1)</li>

<li>Produce L4: (Q \/ P)*R</li>

<li>Goal 16: Transform L4 into L0</li>

<li>Identical, QED</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li>A. Newell, J. C. Shaw und H. A. Simon: <i>Report on a general problem-solving program</i> (1958) <a rel="nofollow" class="external text" href="https://www.u-picardie.fr/~furst/docs/Newell_Simon_General_Problem_Solving_1959.pdf">online</a> (PDF)</li>

<li>A. Newell und H. A. Simon (1961). <i>GPS, a program that simulates human thought</i>, in: <a href="Edward_Feigenbaum" title="Edward Feigenbaum">E. Feigenbaum</a> und J. Feldmann, Hrsg. (1995) <i>Computers and Thought</i>, ISBN 0262560925.</li>

<li>A. Newell und H. A. Simon (1972). <i>Human problem solving</i>. Englewood Cliffs, N.J., Prentice-Hall.</li></ul></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2018-02-24" href="https://de.wikipedia.org/wiki/?title=General_Problem_Solver&oldid=174348283">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>